2321. Systems software tools
پدیدآورنده : Ted J. Biggerstaff
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
رده :
QA
76
.
7
.
B52
2322. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
2323. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
2324. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
2325. Teach yourself computer programming
پدیدآورنده : Murray-Shelley, Richard.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، FORTRAN )Computer program language(
رده :
QA
76
.
5
.
M83
1970
2326. Techniques de progrumation (Computer Programming techniques)
پدیدآورنده : / Theodore G. Scott
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Sc-T
2327. Techniques in computer programming
پدیدآورنده : SHERMAN,PHILIP M
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
S472
2328. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
2329. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2330. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2331. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2332. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
2333. The Agent Modeling Language--AML
پدیدآورنده : / Radovan Cervenka, Ivan Trencansky
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
2334. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
2335. The Art of computer programming
پدیدآورنده : / Donald Ervin Knuth
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
2336. The C answer book :
پدیدآورنده : Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
2337. The Computer programmer's dictionary and handbook
پدیدآورنده : Spencer, Donald D
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Dictionaries ، Programming )Electronic computers(,Machines - Dictionaries ، Electronic data processing
رده :
QA
76
.
15
.
S65
2338. The Craft of programming
پدیدآورنده : Reynolds, John C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
2339. The Elements of digital computer programming
پدیدآورنده : Reilly, Edwin D
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
5
.
R44
2340. The Handbook of Data Communications and Networks :
پدیدآورنده : by W.J. Buchanan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
رده :
TK5105
.
B995
2004
